#include "renamenode.h"

void RenameNode::write(GraphStream * s)
{
 this->accept(s);
 fprintf(s->stream,
	    "\tnode_%d [label=\"(%d,%d)\\n rename %s as %s%s%s\" shape=\"rectangle\"]\n",
		this->number(),
		this->line(),
		this->position(),
		m_from->c_str(),m_to->c_str(),
	   ( (m_alias)?" alias ":"" ),
	   ( (m_alias)?m_alias->c_str():"")
	   );
}
